A stable programming language
نویسندگان
چکیده
منابع مشابه
A stable programming language
It is well-known that stable models (as dI-domains, qualitative domains and coherence spaces) are not fully abstract for the language PCF. This fact is related to the existence of stable parallel functions and of stable functions that are not monotone with respect to the extensional order, which cannot be defined by programs of PCF. In this paper, a paradigmatic programming language named StPCF...
متن کاملProgramming a Language
We explore a simple approach to incorporating new language features into a functional language. New features are realized simply by redeening the meanings of primitive functions. That is, the programming language is not modiied at all; rather, new features are just programmed within the existing language. Surprisingly, in a combinator-based functional language the class of language features tha...
متن کاملA Logical Programming Language∗
In this paper we consider a family of languages (USWIM) which is based on Landin’s ISWIM (the individual languages being determined by appropriate continuous algebras of data objects and operations on these objects). We give a simple mathematical semantics for USWIM, and also give a system of program manipulation rules and a system of inference rules for reasoning about USWIM programs, the latt...
متن کاملA categorical programming language
A theory of data types and a programming language based on category theory are presented. Data types play a crucial role in programming. They enable us to write programs easily and elegantly. Various programming languages have been developed, each of which may use different kinds of data types. Therefore, it becomes important to organize data types systematically so that we can understand the r...
متن کاملA Database Programming Language?
This is a description of the Napier88 type system based on "A Framework for Comparing Type Systems for Database Programming Languages" by Albano et al.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 2006
ISSN: 0890-5401
DOI: 10.1016/j.ic.2005.11.002